IFCEXPORT

Clavier : IFCEXPORT

Sortie du fichier IFC actuel.